#ifndef _PATCH_DRIVER_PWM_H_
#define _PATCH_DRIVER_PWM_H_

#include "driver_pwm.h"
#include "stdc.h"

#ifdef __cplusplus
extern "C" {
#endif


void pwm_set_duty(enum pwm_channel_t channel, uint32_t high_duty);
uint32_t pwm_get_duty(enum pwm_channel_t channel);
void pwm_update2(enum pwm_channel_t channel, uint32_t frequency, uint32_t high_duty);


#ifdef __cplusplus
}
#endif

#endif // _PATCH_DRIVER_PWM_H_
